fn f(self : @a.A) -> Int { // Error: Cannot define method f for type @a.A from package a
  0
}